Proof assistant

O artigo “Proof assistant” na Wikipédia em inglês tem 31.8 pontos para qualidade (em 1º de julho de 2025). O artigo contém 22 referências e 8 seções. O artigo também contém modelos que indicam problemas de qualidade, portanto sua pontuação foi reduzida em 3,54 pontos.

Este artigo tem a melhor qualidade na Wikipédia em chinês. No entanto, este artigo é o mais popular na versão em inglês version.

Desde a criação do artigo “Proof assistant”, seu conteúdo foi escrito por 107 usuários cadastrados na Wikipédia em inglês e editado por 212 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 266 vezes na Wikipédia em inglês e citado 553 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

• Local (inglês): Nº 28702 em março de 2025
• Global: Nº 55627 em outubro de 2004

A classificação de popularidade mais alta de 2008:

• Local (inglês): Nº 190364 em novembro de 2017
• Global: Nº 312653 em novembro de 2017

Existem versões deste artigo em 9 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de julho de 2025 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

#	Idioma	Grau de qualidade	Pontuação de qualidade
1	chinês (zh) 证明助手		54.119
2	inglês (en) Proof assistant		31.834
3	estoniano (et) Tõestusassistent		31.7775
4	francês (fr) Assistant de preuve		26.1518
5	ucraniano (uk) Асистент доведення теорем		24.8124
6	coreano (ko) 증명 보조기		16.551
7	russo (ru) Инструмент интерактивного доказательства теорем		14.9517
8	espanhol (es) Demostración interactiva de teoremas		1.1306
9	polonês (pl) System wspomagający dowodzenie twierdzeń		0.3428

Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

As versões linguísticas mais populares do artigo "Proof assistant" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Proof assistant		577 876
2	francês (fr) Assistant de preuve		69 148
3	polonês (pl) System wspomagający dowodzenie twierdzeń		12 825
4	espanhol (es) Demostración interactiva de teoremas		8 979
5	russo (ru) Инструмент интерактивного доказательства теорем		6 229
6	coreano (ko) 증명 보조기		1 032
7	estoniano (et) Tõestusassistent		374
8	ucraniano (uk) Асистент доведення теорем		260
9	chinês (zh) 证明助手		230

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

As versões linguísticas mais populares do artigo "Proof assistant" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Proof assistant		4 492
2	francês (fr) Assistant de preuve		267
3	russo (ru) Инструмент интерактивного доказательства теорем		174
4	coreano (ko) 증명 보조기		125
5	chinês (zh) 证明助手		115
6	espanhol (es) Demostración interactiva de teoremas		39
7	polonês (pl) System wspomagający dowodzenie twierdzeń		36
8	ucraniano (uk) Асистент доведення теорем		14
9	estoniano (et) Tõestusassistent		13

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

Versões linguísticas do artigo "Proof assistant" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Proof assistant		107
2	francês (fr) Assistant de preuve		68
3	polonês (pl) System wspomagający dowodzenie twierdzeń		11
4	russo (ru) Инструмент интерактивного доказательства теорем		6
5	coreano (ko) 증명 보조기		5
6	chinês (zh) 证明助手		5
7	espanhol (es) Demostración interactiva de teoremas		4
8	estoniano (et) Tõestusassistent		3
9	ucraniano (uk) Асистент доведення теорем		3

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

Versões linguísticas do artigo "Proof assistant" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	chinês (zh) 证明助手		3
2	francês (fr) Assistant de preuve		1
3	coreano (ko) 증명 보조기		1
4	russo (ru) Инструмент интерактивного доказательства теорем		1
5	inglês (en) Proof assistant		0
6	espanhol (es) Demostración interactiva de teoremas		0
7	estoniano (et) Tõestusassistent		0
8	polonês (pl) System wspomagający dowodzenie twierdzeń		0
9	ucraniano (uk) Асистент доведення теорем		0

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

Versões linguísticas do artigo "Proof assistant" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Proof assistant		266
2	francês (fr) Assistant de preuve		188
3	russo (ru) Инструмент интерактивного доказательства теорем		51
4	espanhol (es) Demostración interactiva de teoremas		20
5	ucraniano (uk) Асистент доведення теорем		13
6	polonês (pl) System wspomagający dowodzenie twierdzeń		5
7	chinês (zh) 证明助手		4
8	estoniano (et) Tõestusassistent		3
9	coreano (ko) 증명 보조기		3

Mais...

#	Idioma	Valor
en	inglês Proof assistant
es	espanhol Demostración interactiva de teoremas
et	estoniano Tõestusassistent
fr	francês Assistant de preuve
ko	coreano 증명 보조기
pl	polonês System wspomagający dowodzenie twierdzeń
ru	russo Инструмент интерактивного доказательства теорем
uk	ucraniano Асистент доведення теорем
zh	chinês 证明助手

Melhor Posição

inglês: Nº 190364 11.2017

Global: Nº 312653 11.2017

Melhor Posição

inglês: Nº 28702 03.2025

Global: Nº 55627 10.2004

Em 16 de março de 2026, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Oscar 2026, Michael B. Jordan, Pecadores, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Batalha Atrás de Batalha, Amy Madigan, Hamnet, Timothée Chalamet.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: 98th Academy Awards, Michael B. Jordan, Paul Thomas Anderson, Jessie Buckley, Sinners (2025 film), Amy Madigan, Autumn Durald Arkapaw, Maya Rudolph, Sean Penn, Academy Awards.

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de julho de 2025. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2025. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2025... Mais Informações